|
Ruy J. Guerra B. de Queiroz (born January 11, 1958 in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics.〔 〕 He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July. Ruy de Queiroz received his B.Eng in Electrical Engineering from Escola Politecnica de Pernambuco in 1980, his M.Sc in Informatics from Universidade Federal de Pernambuco in 1984, and his Ph.D in Computing from the Imperial College, London in 1990, for which he defended the Dissertation ''Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation''; his supervisor was Professor Thomas S. E. Maibaum. == Research profile == In the late 1980s, Ruy de Queiroz has offered a reformulation of Martin-Lof’s type theory based on a novel reading of Wittgenstein’s `meaning-is-use’ where the explanation of the consequences of a given proposition gives the meaning to the logical constant dominating the proposition, amounting to a non-dialogical interpretation of logical constants via the effect of elimination rules over introduction rules, finding a parallel in Lorenzen’s and Hintikka’s dialogue/game-semantics. This led to a type theory called `Meaning as Use Type Theory’ published in item 10 below. In reference to the use of Wittgenstein’s dictum, he has shown (in item 14 below) that the aspect concerning the explanation of the consequences of a proposition is present since a very early date when in a letter to Russell, Wittgenstein refers to the universal quantifier only having meaning when one sees what follows from it. Since later in the 1990s, Ruy de Queiroz has been engaged, jointly with D. Gabbay, in a program of providing a general account of the functional interpretation of classical and non-classical logics via the notion of labeled natural deduction. As a result, novel accounts of the functional interpretation of the existential quantifier, as well as the notion of propositional equality, were put forward, the latter allowing for a recasting of Statman’s notion of direct computation, and a novel approach to the dichotomy `intensional versus extensional’ accounts of propositional equality via the Curry-Howard interpretation. Since the early 2000s (decade), Ruy de Queiroz has been investigating, jointly with A. de Oliveira, a geometric perspective of natural deduction based on a graph-based account of Kneale’s symmetric natural deduction. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ruy de Queiroz」の詳細全文を読む スポンサード リンク
|